package edu.pku.sei.autounit.reflect;

public interface Array extends Type{
	Type getElementType();
}
